let x: [<Foo>] _ = 1